(((ENSCSAVT00000012392,ENSCSAVT00000013792),ENSCSAVT00000012401),ENSCSAVT00000013788);